SVG Web Environment for Z Specification Language
نویسندگان
چکیده
This paper presents a web environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension facilities such as schema expansion, specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملSVG-Based Spatial Information Representation and Analysis
This paper tries to make some spatial extensions to W3C’s Scalable Vector Graphics (SVG) Specification to support SVG-based spatial information representation and analysis in the Web environment. Based on the theory of spatial data modeling, this paper attempts to find a theoretical foundation for SVG-based spatial information representation. And then, based on this theoretical foundation, we p...
متن کاملProbets, Steve and Mong, Julius and Evans, David and Brailsford, David F. (2001) Vector Graphics: From PostScript and Flash to SVG. In: ACM Symposium on Document Engineering (DocEng
The XML-based specification for Scalable Vector Graphics(SVG), sponsored by the World Wide Web consortium, allows for compact and descriptive vector graphics for the Web. SVG's domain of discourse is that of graphic primitives whose optional attributes express line thickness, fill patterns, text size and so on. These primitives have very different properties from those of the traditional docume...
متن کاملAn SVG-based method to support spatial analysis in Web environment --Spatial analysis in XML/GML/SVG based WebGIS
This paper discusses how to provide spatial analysis for XML/GML/SVG based WebGIS. In recognition of current XML/GML/SVG based WebGIS’s insufficiency of providing spatial analysis, we focus on two important issues. First, based on the theory of spatial data modeling, we propose an SVG-based spatial information representation model to represent the needed spatial data in SVG on the browser side....
متن کامل